A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

Source URL: heim.ifi.uio.no

ArvandHerd 2014 ¨ Richard Valenzano, Hootan Nakhost*, Martin Muller, Jonathan Schaeffer University of Alberta {valenzan, nakhost, mmueller, jonathan}@ualberta.ca

Source URL: webdocs.cs.ualberta.ca

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

UITP 2003 Preliminary Version Taclets and the KeY Prover Martin Giese Chalmers University of Technology Department of Computing Science

Source URL: www.informatik.uni-bremen.de

An Open Boundary Safety-of-Territory Solver for the Game of Go Xiaozhen Niu and Martin M¨uller Department of Computing Science, University of Alberta, Edmonton, Canada, T6G 2E8 {xiaozhen, mmueller}@cs.ualberta.ca

Source URL: webdocs.cs.ualberta.ca

Risks of Offline Verify PIN on Contactless Cards Martin Emms, Budi Arief, Nick Little, Aad van Moorsel Newcastle University Centre for Cybercrime & Computer Security 1

Source URL: fc13.ifca.ai

ArvandHerd: Parallel Planning with a Portfolio ¨ Richard Valenzano, Hootan Nakhost, Martin Muller, Jonathan Schaeffer University of Alberta {valenzan, nakhost, mmueller, jonathan}@cs.ualberta.ca

Source URL: webdocs.cs.ualberta.ca

A Plugin System for Charlie Jan-Thierry Wegener1 , Martin Schwarick2 , and Monika Heiner2 1 Institute of Biology, Otto-von-Guericke-University, 39106 Magdeburg, Germany

Source URL: csp2011.mimuw.edu.pl

Type-based Exploration with Multiple Search Queues for Satisficing Planning Fan Xie and Martin Müller and Robert Holte Computing Science, University of Alberta Edmonton, Canada {fxie2, mmueller, robert.holte}@ualberta.c

Source URL: webdocs.cs.ualberta.ca

City Virtualization Gregor Fabritius, Jan Kraßnigg, Lars Krecklau, Christopher Manthei, Alexander Hornung, Martin Habbecke, and Leif Kobbelt Computer Graphics Group RWTH Aachen University Ahornstrasse 55

Source URL: ahornung.net